Programming language syntax - PDFSEARCH.IO - Document Search Engine

Programming language syntax
Results: 492

#	Item
161	Dedukti: a Universal Proof Checker Ronan Saillard MINES ParisTech Context The success of formal methods both as tools of practical importance and as objects of intellectual curiosity, has spaw Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2013-06-14 08:53:53 Theoretical computer science Lambda calculus Proof theory Functional languages Dependently typed programming Higher-order abstract syntax Dependent type Judgment Proof assistant Programming language theory Type theory Mathematical logic
162	Chapter 1. The Syntax Definition Formalism SDF Mark van den Brand Paul Klint Jurgen Vinju:18:09 +0200 (Mon, 22 Oct 2007) Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2007-12-04 10:03:46 Compiler construction Programming language theory Parser generators Programming language implementation Syntax Definition Formalism ASF+SDF Meta Environment SDF2 Attribute grammar Parsing Formal languages Software engineering Computing
163	Objective-C Reference Card (for Java Programmers) Basic Syntax All of C syntax is inherited by Objective C with the following additions: Add to Reading List Source URL: www.quicklycode.com Language: English - Date: 2014-04-28 10:45:02 Object-oriented programming Method Java programming language NeXT Objective-C Constructor Class Mutator method Java Software engineering Computing Computer programming
164	Chapter 1. SDF Disambiguation Medkit for Programming Languages Jurgen Vinju:08:57 +0200 (Fri, 19 OctTable of Contents Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2007-12-04 10:03:47 Programming language implementation Parsing Ambiguous grammar Context-free grammar ASF+SDF Meta Environment Formal grammar Left recursion Syntax Attribute grammar Formal languages Software engineering Computing
165	FreeSentry: protecting against use-‐ after-‐free vulnerabilities due to dangling pointers Yves Younan, Senior Research Engineer Talos Security Intelli Add to Reading List Source URL: fort-knox.org Language: English - Date: 2015-03-28 05:13:13 C programming language C++ Data types Struct Pointer C dynamic memory allocation C Vulnerability C syntax Computing Computer programming Software engineering
166	int float double char %i or %d Add to Reading List Source URL: ycpcs.github.io Language: English - Date: 2015-04-20 14:33:23 C Standard Library Procedural programming languages Scanf format string Printf format string C programming language Infinite loop C C syntax Variadic function Computer programming Computing Software engineering
167	Introduction to Java for Non-C Programmers This course is paced to provide a solid foundation in Java™ for programmers without syntax experience in a C-based language. Intensive and hands-on, the course emphasizes beco Add to Reading List Source URL: www.batky-howell.com Language: English - Date: 2013-03-27 14:51:32 Cross-platform software Java platform Object-oriented programming Java Interface Swing Enterprise JavaBeans Class Plain Old Java Object Computing Java programming language Computing platforms
168	Extracted from: Language Implementation Patterns Create Your Own Domain-Specific and General Programming Languages Add to Reading List Source URL: media.pragprog.com Language: English - Date: 2010-01-17 14:46:30 Formal languages Software design patterns Pattern matching Abstract syntax tree Tree traversal Tree B-tree Visitor pattern Node Computing Computer programming Graph theory
169	Introduction to Java Programming Intensive and hands-on, the course emphasizes becoming productive quickly as a Java™ application developer. This course quickly covers the Java language syntax and then moves into the o Add to Reading List Source URL: www.batky-howell.com Language: English - Date: 2013-03-27 14:46:14 Java platform Cross-platform software Computing platforms Java enterprise platform Java Eclipse Enterprise JavaBeans Plain Old Java Object C++ Computing Software Java programming language
170	FreeSentry: protecting against use-‐ after-‐free vulnerabilities due to dangling pointers Yves Younan, Senior Research Engineer Talos Security Intelli Add to Reading List Source URL: cansecwest.com Language: English - Date: 2015-03-27 04:18:58 C programming language C++ Data types Struct Pointer C dynamic memory allocation C Vulnerability C syntax Computing Computer programming Software engineering

UPDATE